期刊
  出版年
  关键词
结果中检索 Open Search
Please wait a minute...
选择: 显示/隐藏图片
1. 大数据上函数查询解答的复杂度分析
吴文莉, 刘国华, 张君宝
《计算机应用》唯一官方网站    2020, 40 (2): 416-419.   DOI: 10.11772/j.issn.1001-9081.2019091618
摘要401)   HTML0)    PDF (436KB)(235)    收藏

函数查询是大数据应用中重要的操作,查询解答问题一直是数据库理论中的核心问题。为了分析大数据上函数查询解答问题的复杂度,首先,使用映射归约方法将函数查询语言归约到已知的可判定语言,证明了函数查询解答问题的可计算性;其次,使用一阶语言描述函数查询,并分析了一阶语言的复杂度;在此基础上,使用NC-factor归约方法将函数查询类归约到已知的 Π Τ Q -complete类中。证明函数查询解答问题经过PTIME(多项式时间)预处理后,可以在NC(并行多项式-对数)时间内求解。通过以上证明可以推出,函数查询解答问题在大数据上是可处理的。

图表 | 参考文献 | 相关文章 | 多维度评价
2. XML弱函数依赖及其推理规则
苏召 刘国华
计算机应用   
摘要1787)      PDF (701KB)(791)    收藏
XML函数依赖问题是进行XML数据库后续研究的基础。首先基于M.Arenas等人给定的XML中DTD和XML树的定义,提出空值、不完全树元组、数据值偏序、最小扩展树等概念,在此基础上,给出弱函数依赖及其满足性的定义;其次研究了XML弱函数依赖的逻辑蕴含问题,提出一组适合XML空值模型的函数依赖推理规则集;最后给出推理规则集的正确性和完备性证明。
相关文章 | 多维度评价